70.21/70.39	unsat
