70.04/70.28	unsat
