39.01/39.17	unsat
