40.89/42.50	unsat
