40.28/40.50	unsat
