17.66/18.34	unsat
