1.29/3.70	unsat
