17.76/18.78	unsat
