14.76/17.13	unsat
