104.26/104.40	unsat
