38.93/40.50	unsat
