102.64/104.13	unsat
