101.62/104.46	unsat
