65.60/68.02	unsat
