65.94/68.93	unsat
