13.48/13.86	unsat
