40.13/42.28	unsat
