70.04/70.44	unsat
