11.05/14.96	unsat
