17.76/18.16	unsat
