65.66/68.18	unsat
