39.35/39.48	unsat
