65.68/65.82	unsat
