110.50/111.29	unsat
