39.61/42.53	unsat
