65.83/68.34	unsat
