102.25/106.13	unsat
