39.51/39.66	unsat
