42.11/42.28	unsat
