17.84/18.16	unsat
