17.76/17.84	unsat
