1.29/1.70	unsat
