0.29/1.70	unsat
