17.46/18.13	unsat
