17.76/18.14	unsat
