10.56/13.83	unsat
