39.04/39.12	unsat
