13.36/16.87	unsat
