70.67/71.30	unsat
