101.48/104.63	unsat
