38.28/39.77	unsat
