13.47/13.86	unsat
