64.98/68.41	unsat
