14.56/16.83	unsat
