2.69/2.70	unsat
