38.52/40.18	unsat
