11.55/14.14	unsat
