107.03/110.55	unsat
