68.56/70.04	unsat
