1.58/2.70	unsat
