11.55/13.86	unsat
