17.76/18.94	unsat
