1.19/1.70	unsat
