106.69/106.92	unsat
