104.28/106.14	unsat
