0.19/0.70	unsat
