17.17/18.04	unsat
