101.70/104.49	unsat
