103.94/106.68	unsat
