40.29/42.72	unsat
