17.27/18.29	unsat
