70.20/71.79	unsat
