40.51/42.43	unsat
