38.81/39.12	unsat
