11.39/11.46	unsat
