39.01/39.18	unsat
