14.55/14.69	unsat
