104.18/104.24	unsat
