105.12/108.25	unsat
