105.33/106.11	unsat
