13.44/13.83	unsat
