104.72/106.65	unsat
