106.20/106.44	unsat
