106.57/106.87	unsat
