10.69/10.70	unsat
