14.76/17.23	unsat
