65.47/65.88	unsat
