14.56/17.13	unsat
