70.91/71.17	unsat
