17.76/18.13	unsat
