65.13/68.05	unsat
