102.69/104.63	unsat
