40.90/42.72	unsat
