38.59/40.80	unsat
