17.36/18.14	unsat
