17.26/18.29	unsat
