110.60/111.96	unsat
