38.82/39.88	unsat
