101.18/104.61	unsat
