17.66/18.68	unsat
