104.28/106.39	unsat
