14.46/17.13	unsat
