17.27/19.29	unsat
