14.66/17.23	unsat
