65.61/68.91	unsat
