64.94/68.30	unsat
