39.03/39.16	unsat
