40.66/40.74	unsat
