13.27/15.83	unsat
