1.29/2.70	unsat
