65.52/68.47	unsat
