103.29/106.10	unsat
