17.84/18.70	unsat
