1.19/2.70	unsat
