38.90/39.07	unsat
